namespace CWARN_NOEFFECT_OUTOFRANGE {
	void foo_bad1() {
		unsigned char i;
		int a[256];
		for (i = 0; i < 256; i++) {
			a[i] = 1;
		}
	}

	void foo_bad2(int x) {
		if (x * x != (0x7fff * 0x7ffff)) {
		}
	}

	void foo_good1() {
		int i;
		int a[256];
		for (i = 0; i < 256; i++) {
			a[i] = 1;
		}
	}

	void foo_good2(int x) {
		long long x_sqr = (long long)x * x;
		if (x_sqr != (0x7fff * 0x7ffffLL)) {
		}
	}
}